int main()
{
    printf("%f\n", -1.0);
    printf("%i\n", !!15.15);
    return 0;
}